12 ideas
| 17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
| 18935 | Semantic theory should specify when an act of naming is successful [Sawyer] |
| 18945 | Millians say a name just means its object [Sawyer] |
| 18934 | Sentences with empty names can be understood, be co-referential, and even be true [Sawyer] |
| 18938 | Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer] |
| 18947 | Definites descriptions don't solve the empty names problem, because the properties may not exist [Sawyer] |
| 17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
| 17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |